disjunction and existence properties造句
例句與造句
- This can be used in proving disjunction and existence properties.
- Beyond giving insight into intuitionistic provability, realizability can be applied to prove the disjunction and existence properties for intuitionistic theories and to extract programs from proofs, as in proof mining.
- It's difficult to find disjunction and existence properties in a sentence. 用disjunction and existence properties造句挺難的